Logics for computability